with (a) b